例句與造句

1. Adding a single binary relation symbol to monadic logic, however, results in an undecidable logic.
2. The need to go beyond monadic logic was not appreciated until the work on the logic of relations, by Augustus DeMorgan and Charles Sanders Peirce in the nineteenth century, and by Frege in his 1879 " Begriffsschrifft ".
3. This also reflects the relationship between the monadic logic of quantification ( for which monadic Boolean algebras provide an algebraic description ) and "'S5 "'where the modal operators ?% ( "'necessarily "') and ?% ( "'possibly "') can be interpreted in the Kripke semantics using monadic universal and existential quantification, respectively, without reference to an accessibility relation.
4. It's difficult to find monadic logic in a sentence. 用monadic logic造句挺難的